翻訳と辞書
Words near each other
・ Synthetic ecosystems
・ Synthetic element
・ Synthetic Entertainment
・ Synthetic environment
・ Synthetic Environment for Analysis and Simulations
・ Synthetic fabric
・ Synthetic fence
・ Synthetic fiber
・ Synthetic file system
・ Synthetic fuel
・ Synthetic fuel commercialization
・ Syntactic expletive
・ Syntactic foam
・ Syntactic gemination
・ Syntactic hierarchy
Syntactic methods
・ Syntactic monoid
・ Syntactic movement
・ Syntactic pattern recognition
・ Syntactic pivot
・ Syntactic predicate
・ Syntactic Structures
・ Syntactic sugar
・ Syntactic web
・ Syntagma
・ Syntagma (linguistics)
・ Syntagma Canonum
・ Syntagma metro station
・ Syntagma Metro Station Archaeological Collection
・ Syntagma Musicum


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Syntactic methods : ウィキペディア英語版
Syntactic methods

In software engineering, syntactic methods are techniques for developing correct software programs. The techniques attempt to detect, and thus prevent, certain kinds of defects (bugs) by examining the structure of the code being produced at its syntactic rather than semantic level.
==Usage==

Syntactic methods are often used when formal methods are not an option, and are often a simpler and, more importantly, cheaper alternative. In non-mission-critical systems, formal methods may prove to be too expensive for the benefit they provide. The costs of modelling, personnel, execution and development may often outweigh the benefits gained by preventing possible failures. This approach revolves around the use of an ''abstract dependency graph'' which is created from the system in question. An abstract dependency graph is a directed graph, a graph of vertices connected by one-way edges. Most often, the vertices and edges of the graph represent the inputs and outputs of functions in or components of the system. By inspecting the created abstract dependency graph, the developer can detect ''syntactic anomalies'' (or ''Preece anomalies'') in the system. While anomalies are not always defects, they often provide clues to finding defects in a system. Therefore, the anomalies in a system help point the developer in the right direction in finding defects.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Syntactic methods」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.